Dependence logic

Results: 46



#Item
41Statistical theory / Categorical data / Statistical tests / Deduction / Contingency table / Statistical dependence / Likelihood-ratio test / Entailment / Maximum likelihood / Statistics / Mathematics / Logic

PDF Document

Add to Reading List

Source URL: www.stats.ox.ac.uk

Language: English - Date: 2002-10-26 12:11:42
42Model theory / Mathematical logic / Logical syntax / Interpretation / First-order logic / Entailment / Well-formed formula / Linear temporal logic / Dependence logic / Logic / Metalogic / Formal languages

PDF Document

Add to Reading List

Source URL: www.ml.kva.se

Language: English - Date: 2010-03-11 12:21:44
43Model theory / Formal languages / Metalogic / First-order logic / Interpretation / Dependence logic / Entailment / Well-formed formula / Substitution / Logic / Propositional calculus / Mathematical logic

PDF Document

Add to Reading List

Source URL: tocl.acm.org

Language: English - Date: 2011-12-13 04:40:36
44Logical syntax / Philosophical logic / Mathematical logic / First-order logic / Interpretation / Dependence logic / Well-formed formula / Independence-friendly logic / Function / Logic / Predicate logic / Metalogic

PDF Document

Add to Reading List

Source URL: drops.dagstuhl.de

Language: English - Date: 2011-12-01 09:29:51
45Model theory / Semantics / Predicate logic / Philosophical logic / Independence-friendly logic / Dependence logic / First-order logic / Branching quantifier / FO / Logic / Mathematical logic / Quantification

PDF Document

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-04-04 16:59:34
46Binary operations / Modal logic / Kripke semantics / Entailment / FO / If and only if / Dependence logic / Logical connective / And–or tree / Logic / Mathematical logic / Philosophical logic

PDF Document

Add to Reading List

Source URL: www.math.helsinki.fi

Language: English - Date: 2010-07-25 05:49:05
UPDATE